Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
451	Ayasdi and Teradata: Accelerating Strategic Outcomes with Complex Data Analytics If information is your number one asset, how do you put it to work for you? This is the critical question behind big data analytics. Data v Add to Reading List Source URL: www.ayasdi.com Language: English - Date: 2015-03-12 21:28:26 Formal sciences Information technology Business Analytics ParAccel Teradata Business intelligence NCR Corporation
452	Microsoft Word - brochure Add to Reading List Source URL: www.kct.ac.in Language: English Business intelligence Data management Kumaraguru College of Technology Big data Data mining Analytics Data warehouse Geographic information system Data sharing Formal sciences Technology Science
453	Big and Open data Position Paper Bid & Open Data position paper Add to Reading List Source URL: nem-initiative.org Language: English - Date: 2014-03-03 08:11:20 Formal sciences Business intelligence Database management systems Database theory Parallel computing Apache Hadoop MapReduce Data mining Big data Computing Concurrent computing Data management
454	DHA-HIT-IATDD-Campaign-TV Flyer-8.5x11 Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2015-05-14 14:47:23 Knowledge Formal sciences Artificial intelligence applications Learning Data analysis Predictive analytics Analytics Machine learning Clinical decision support system Business intelligence Science Statistics
455	Introducing the SPEC Research Group on Big Data Mission The mission of the Research Group on Big Data is to facilitate research in performance methodologies for benchmarking Big Data systems by engaging industry and acad Add to Reading List Source URL: icpe2015.ipd.kit.edu Language: English - Date: 2015-03-03 04:32:57 Computing Business intelligence Emerging technologies Benchmarking Strategic management Benchmark Big data MapReduce Analytics Technology Formal sciences Data management
456	Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio Add to Reading List Source URL: coregrid.ercim.eu Language: English - Date: 2008-09-24 04:08:10 Formal methods Logic in computer science Formal sciences Cybernetics Formal verification Theoretical computer science Model checking Modal logic Deontic logic Logic Mathematical logic Applied mathematics
457	TELECOMMUNICATIONS CARRIER Business Process Management\| Analytics\| Risk Management CLIENTOPPORTUNITY REVELIMPACT Add to Reading List Source URL: revelconsulting.com Language: English - Date: 2012-12-21 12:58:17 Information technology management Formal sciences Business process management Process management Analytics Quality assurance Sales Business Business process Business intelligence
458	Big Possibilities! We make ICT strategies work 1 Add to Reading List Source URL: www.t-systems.cn Language: English - Date: 2013-12-18 22:26:20 Formal sciences Business intelligence Database management systems Data analysis Emerging technologies Big data Analytics Detecon Text mining Data management Technology Science
459	Formal Certification of Game-Based Cryptographic Proofs Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain INRIA Sophia Antipolis - M´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptology Cryptography ProVerif Knowledge Science Mathematical sciences Cryptanalysis
460	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics

UPDATE